Davide Ancona
نویسندگان
چکیده
della relazione invitata A framework for data, knowledge, and reasoning: Datalog± . . . . . . . . . . . . . 1 Georg Gottlob Fondamenti e risultati teorici A Diophantine representation of Wolstenholme’s pseudoprimality . . . . . . . 2 Luca Vallata, Eugenio Omodeo A natural sequent calculus for Lewis’ logic of counterfactuals . . . . . . . . . . . 13 Nicola Olivetti, Gian Luca Pozzato Infinite derivations as failures . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19 Andrea Corradi, Federico Frassetto On the first-order rewritability of conjunctive queries over binary guarded existential rules . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25 Cristina Civili, Riccardo Rosati Esperienze pratiche e casi di studio Computational thinking for beginners: A successful experience using Prolog . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31 Silvio Beux, Daniela Briola, Andrea Corradi, Giorgio Delzanno, Angelo Ferrando, Federico Frassetto, Giovanna Guerrini, Viviana Mascardi, Marco Oreggia, Francesca Pozzi, Alessandro Solimando, Armando Tacchella A case study on graph-based planning for emergency evacuation . . . . . . . . 46 Santa Agreste, Pasquale De Meo, Massimo Marchi, Maria Francesca Milazzo, Salvatore Nunnari, Alessandro Provetti How Answer Set Programming can help in digital forensic investigation . . 53 Stefania Costantini, Giovanni De Gasperis, Raffaele Olivieri Leveraging semantic web technologies for analysis of crime in social science 66 Luca Pulina, Antonietta Mazzette, Laura Pandolfo, Elena Piga, Maria Laura Ruiu, Camillo Tidore Agenti e sistemi multiagente Parametric protocol-driven agents and their integration in JADE . . . . . . . 72 Angelo Ferrando
منابع مشابه
Abstract compilation of object-oriented languages into coinductive CLP(X): when type inference meets verification
compilation of object-oriented languages into coinductive CLP(X): when type inference meets verification Davide Ancona, Andrea Corradi, Giovanni Lagorio, and Ferruccio Damiani 1 DISI, University of Genova, Italy {davide,lagorio}@disi.unige.it,[email protected] 2 Dipartimento di Informatica, University of Torino, Italy
متن کاملIncremental rebinding with name polymorphism 1 Davide Ancona
We propose an extension with name variables of a calculus for incremental rebinding of code introduced in previous work. Names, which can be either constants or variables, are used as interface of fragments of code with free variables. Open code can be dynamically rebound by applying a rebinding, which is an association from names to terms. Rebindings can contain free variables as well, hence r...
متن کاملA Fresh Calculus for Name Management
We define a basic calculus for name management, which is obtained by an appropriate combination of three ingredients: extensible records (in a simplified form), names (as in FreshML), computational types (to allow computational effects, including generation of fresh names). The calculus supports the use of symbolic names for programming in-the-large, e.g. it subsumes Ancona and Zucca’s calculus...
متن کاملGlobal Protocols as First Class Entities for Self-Adaptive Agents
We describe a framework for top-down centralized self-adaptive MASs where adaptive agents are “protocol-driven” and adaptation consists in runtime protocol switch. Protocol specifications take a global, rather than a local, perspective and each agent, before starting to follow a new (global) protocol, projects it for obtaining a local version. If all the agents in the MAS are driven by the same...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2015